record R extends C {
  a: number,
}
